Call make-doc.exe instead of make-docfile.

diff --git a/msdos/sed1.inp b/msdos/sed1.inp
index 962063e2e020720940824c4ca70c82d84cfd905a..cecbe2d313c6297c12a864cf47ce6f760d7b4fdc 100644 (file)
--- a/msdos/sed1.inp
+++ b/msdos/sed1.inp
@@ -18,7 +18,7 @@ s!/bin/sh!command.com!
 /^M_FILE *=/s!@[^@\n]*@!m/intel386.h!
 /^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
 /^@SET_MAKE@$/s/@SET_MAKE@//
-/^.\${libsrc}make-docfile.*>/s!make-docfile!make-docfile -o ../etc/DOC!
+/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
 /^.\${libsrc}make-doc/s!>.*$!!
 /^[\f   ]*$/d
 /^temacs:/s/prefix-args//